Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
271	Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Formal specification Specification Technology Management Form Java specification requests Formal methods Mobile Information Device Profile
272	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
273	“Test once, use anywhere” Assessment Capable Entities & Recognised Test Organisations GCF Certification promotes global interoperability between mobile devices – including mobile phones Add to Reading List Source URL: www.globalcertificationforum.org Language: English - Date: 2014-09-11 12:50:29 Conformance testing Interoperability Verification and validation Electronics Evaluation Global Certification Forum Technology Software testing
274	1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Software development Science Model-based testing Formal verification Model checking Software verification Verification and validation Software development process Construction and Analysis of Distributed Processes Software testing Formal methods Theoretical computer science
275	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
276	CORVETTE: Program Correctness, Verification, and Testing for Exascale PI: Koushik Sen, UC Berkeley coPI: James W. Demmel, UC Berkeley coPI: Costin Iancu, LBL Students and Post-docs: Add to Reading List Source URL: xstackwiki.modelado.org Language: English - Date: 2014-05-28 13:40:15 Software bug Debugging D Algorithm Modularity C Computing Software engineering Computer programming
277	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:52:45 ALGOL 68 Parallel computing Schedule Programming language theory Computing Software engineering
278	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
279	SPACEX case study © SpaceX SPACEX RELIES ON A Add to Reading List Source URL: go.jamasoftware.com Language: English - Date: 2015-05-24 16:30:34 Human spaceflight Falcon 9 Dragon Falcon Elon Musk Jama Software Verification Progress Space Shuttle retirement Spaceflight SpaceX Exploration of the Moon
280	Roster Verification and Testing Windows JAG Pre- and Post-Testing (Course Numbers, 493780, andPre-Testing Window September 7-October 2, 2015 Add to Reading List Source URL: www.arcteassessment.com Language: English - Date: 2015-04-27 16:21:29 Academic term Software Freedesktop.org X Window System

UPDATE